#include<stdio.h>


int main()
{
    int a[4],b,c[3],x,d[4],i = 1;
    for(a[0] = 1010;a[0] <= 1377;a[0]++)
        for(b = 112;b <= 142;b++)
        for(c[0] = 8;c[0] <= 9;c[0]++)
            if(b*c[0] > 1000&&(d[0] = a[0]-b*c[0]) >= 10&&d[0]<100)
                for(a[1] = 0;a[1] <= 9;a[1]++)
                    if((d[1] = d[0]*10+a[1]-b*7) >= 100&&d[0] < 100)
                for(a[2] = 0;a[2] <= 9;a[2]++)
                for(c[1] = 7;c[1] <= 8;c[1]++)
                    if(b*c[1] < 1000&&(d[2] = d[1]*10+a[2]-b*c[1])>=10&&d[2]<100)
                        for(a[3] = 0;a[3] <= 99;a[3]++)
                        for(c[2] = 8;c[2] <= 9;c[2]++)
                            if(d[2]*100+a[3]-b*c[2] == 0)
                            {
                                printf("No%2d:",i++);
                                printf("%d%d%d%d%d/",a[0],a[1],a[2],a[3]/10,a[3]%10);
                                printf("%d=",b);
                                printf("%d%d%d%d%d\n",c[0],7,c[1],0,c[2]);
                            }

    return 0;
}
//熊贤豪